Defining Conformance
نویسنده
چکیده
The conformance model for C++ implementations and programs is defined in subclauses 1.3 [intro.compliance] and 1.4 [intro.defs]. Together, these subclauses define categories of programs (well-formed, ill-formed, having undefined behavior) and the requirements placed on implementations when presented with these various kinds of program input. As it currently stands, however, the text of these subclauses is in need of improvement.
منابع مشابه
Interoperability testing of Web Services for e-learning
Web Service technologies seem to open interesting unexplored scenarios in the e-learning domain. Particularly appealing is the possibility of defining and standardizing services that, when implemented and composed, will result in complex e-learning applications. However, an agreed standard specification per se is not sufficient, rather methodologies for validating conformance against it have to...
متن کاملTowards Interoperable Healthcare Information Systems: The HL7 Conformance Profile Approach
1 Abstract Typical healthcare organizations have many proprietary heterogeneous information systems that must exchange data reliably. Seamlessly sharing information among systems is complex. The widely adopted HL7 version 2 messaging standard has helped the process of systems integration. However, using the HL7 standard alone does not ensure system interoperability. The HL7 standard offers a wi...
متن کاملConformance and Interoperability in Open Enviroments
An important issue, in open environments like the web, is guaranteeing the interoperability of a set of services. When the interaction scheme that the services should follow is given (e.g. as a choreography or as an interaction protocol), it becomes possible to verify, before the interaction takes place, if the interactive behavior of a service (e.g. a BPEL process specification) respects it. T...
متن کاملFormal Modeling and Conformance Validation for WS-CDL using Reo and CASM
WS-CDL is a choreography language that describes peer-to-peer collaborations of participants by defining their common and complementary observable behaviors from a global viewpoint. The main use of a choreography description is to precisely define the sequence of interactions between a set of cooperating web services in order to promote a common understanding between participants and to make it...
متن کاملTowards the conformance Analysis of IEC 61131-3 PLC Programming Tools
Industrial Process Measurement and Control Systems are used in most of the industrial sectors to achieve production improvement, process optimization and time and cost reduction. Integration, reuse, flexibility and optimization are demanded to adapt to a rapidly changing and competitive market. In fact, standardization is a key goal to achieve these goals. The international standardization effo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996